θ*-Relation on Hypermodules and Fundamental Modules Over Commutative Fundamental Rings

This article may be used for research, teaching and private study purposes. Any substantial or systematic reproduction, redistribution , reselling , loan or sub-licensing, systematic supply or distribution in any form to anyone is expressly forbidden. The publisher does not give any warranty express or implied or make any representation that the contents will be complete or accurate or up to date. The accuracy of any instructions, formulae and drug doses should be independently verified with primary sources. The publisher shall not be liable for any loss, actions, claims, proceedings, demand or costs or damages whatsoever or howsoever caused arising directly or indirectly in connection with or arising out of the use of this material. The main tools in the theory of hyperstructues are the fundamental relations. The fundamental relation on a hypermodule over a hyperring was already introduced by Vougiouklis. The fundamental relation on a hypermodule over a hyperring is defined as the smallest equivalence relation so that the quotient would be the module over a ring. Note that generally the commutativity with respect to both sum in the (fundemental) module and product in the (fundamental) ring are not assumed. In this article we introduce a new strongly regular equivalence relation on hypermodules so that the quotient is module (with abelin group) over a commutative ring. Also we state the conditions that is equivalent with the transitivity of this relation and finally we characterize the complete hypermodules over hyperrings.